Spatial refinement as collection order relations
نویسندگان
چکیده
منابع مشابه
Refinement Types as Higher-Order Dependency Pairs
Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher-order rewrite systems is still the subject of active research. We observe that a variant of refinement types allows us to express a form of higher-order dependency pai...
متن کاملAlternating Refinement Relations
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system components. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition correspond...
متن کاملA Theory for Qualitative Spatial Reasoning Based on Order Relations
What is needed for an analysis of the existing approaches to qualitative spatial reasoning and for a deeper understanding of the domain of space is a unifying theory that explains all of the concepts used for the representation of the different aspects of space by some primitive but well understood relations. In order to provide such primitive relations it will be shown that the concepts used i...
متن کاملGame Refinement Relations and Metrics
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state. It is often advantageous for players to choose probability distributions over moves, rather than single moves. Given a goal (e.g., “reach a target state”), the question of winning is thus a probabilistic one...
متن کاملImages+Weather: Collection, Validation, and Refinement
The time and location that an image is captured indirectly defines the appearance of the scene. However, for outdoor scenes, the more directly relevant variables that affect image appearance are the scene structure, local weather conditions, and the position of the sun. In this paper, we present a large dataset of archived time-lapse imagery with associated geo-location and weather annotations ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Spatial Information Science
سال: 2015
ISSN: 1948-660X
DOI: 10.5311/josis.2015.11.242